#ifndef PAGEFAULTHANDLER_H
#define PAGEFAULTHANDLER_H

#include <InterruptServiceRoutine.h>

/**
	@author James Molloy <james@jamesmolloy.co.uk>
*/
class PageFaultHandler : public InterruptServiceRoutine
{
public:
  PageFaultHandler();

  ~PageFaultHandler();
  
  virtual void run(Registers *r);

};

#endif
